During de novo synthesis, xanthosine monophosphate serves as an intermediate in the formation of which nucleotide?